flush_

Definitions:

UTF8 decoder
Source: /avail/Avail/Data Abstractions/Converters/UTF-8 Converters
Categories: Data Abstractions, Converters, Codecs, UTF-8
Flush the UTF-8 decoder. Since a complete sequence of bytes representing a character would have already produced a corresponding character, it must be the case that a non-empty residue should be treated as an invalid sequence, for which a single Unicode replacement character (U+FFFD) will be emitted.
Position Name Type Description
Parameters
1 decoder UTF8 decoder
Returns bytes byte*
Base64 encoder
Source: /avail/Avail/Data Abstractions/Converters/Base64 Converters
Categories: Data Abstractions, Converters, Codecs, Base64
Flushing a Base64 encoder produces the final characters and any necessary padding.
Position Name Type Description
Parameters
1 encoder Base64 encoder
Returns Base64 string
converter
Source: /avail/Avail/Data Abstractions/Converters/Abstract Converters
Categories: Data Abstractions, Converters
The end of data has been encountered. Produce output from any previously buffered input. Subclasses may allow subsequent data to be processed after a flush, but they are not required to.
Position Name Type Description
Parameters
1 aConverter converter
Returns any*
Base64 decoder
Source: /avail/Avail/Data Abstractions/Converters/Base64 Converters
Categories: Data Abstractions, Converters, Codecs, Base64
Flushing a Base64 decoder produces the final byte s and any necessary padding.
Position Name Type Description
Parameters
1 decoder Base64 decoder
Returns byte*
UTF8 encoder
Source: /avail/Avail/Data Abstractions/Converters/UTF-8 Converters
Categories: Data Abstractions, Converters, Codecs
Flushing a UTF-8 encoder always produces an empty sequence of bytes.
Position Name Type Description
Parameters
1 encoder UTF8 encoder
Returns empty tuple

Semantic restrictions:

converter's type
Source: /avail/Avail/Data Abstractions/Converters/Abstract Converters
Strengthen the type of values produced by a flush.
Type Description
Parameter Types
converter's type